Author: Sriram Sankaranarayanan
Author's info and books
Information about author Sriram Sankaranarayanan from several data sources.
AI-generated bio of "Sriram Sankaranarayanan":
Books Results
Source: The Open Library
Sriram Sankaranarayanan Books
Books writen by author Sriram Sankaranarayanan from The Open Library
1Tools and Algorithms for the Construction and Analysis of Systems
By Sriram Sankaranarayanan and Natasha Sharygina
“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:
- Title: ➤ Tools and Algorithms for the Construction and Analysis of Systems
- Authors: Sriram SankaranarayananNatasha Sharygina
- Language: English
Access and General Info:
- First Year Published: 2023
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Tools and Algorithms for the Construction and Analysis of Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Formal Modeling and Analysis of Timed Systems
By Sriram Sankaranarayanan and Enrico Vicario
“Formal Modeling and Analysis of Timed Systems” Metadata:
- Title: ➤ Formal Modeling and Analysis of Timed Systems
- Authors: Sriram SankaranarayananEnrico Vicario
- Language: English
Access and General Info:
- First Year Published: 2015
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Formal Modeling and Analysis of Timed Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Verification, Model Checking, and Abstract Interpretation
By Sriram Sankaranarayanan, Ashutosh Trivedi and Krishna Shankaranarayanan
“Verification, Model Checking, and Abstract Interpretation” Metadata:
- Title: ➤ Verification, Model Checking, and Abstract Interpretation
- Authors: Sriram SankaranarayananAshutosh TrivediKrishna Shankaranarayanan
- Language: English
Access and General Info:
- First Year Published: 2025
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Verification, Model Checking, and Abstract Interpretation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Automated Technology for Verification and Analysis
By S. Akshay, Aina Niemetz and Sriram Sankaranarayanan
“Automated Technology for Verification and Analysis” Metadata:
- Title: ➤ Automated Technology for Verification and Analysis
- Authors: S. AkshayAina NiemetzSriram Sankaranarayanan
- Language: English
Access and General Info:
- First Year Published: 2025
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Automated Technology for Verification and Analysis at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.